Static Analysis of a Model of the LDL Degradation Pathway
نویسندگان
چکیده
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static program analysis can be used to compute safe approximations of the behaviour of system models. We use these tools to model and analyse the production of cholesterol in living cells and show that we are able to pinpoint the difference in behaviour between models of healthy systems and models of mutated systems giving rise to known diseases.
منابع مشابه
Effect of Ubiquinol-10 on the Affinity of LDL to Its Receptor: A Model for Prevention of Atherogenesis
The affinity of low density lipoprotein(LDL) to its receptor is very important, because most of LDL-uptake pathway is done by the LDL receptor and the change in size of LDL particle and the modification in its components may affect the LDL affinity for its receptor. In this study, the effects of a powerful lipid-soluble antioxidant “ubiquinol-10” have been investigated on the affinity of LDL to...
متن کاملEffect of Ubiquinol-10 on the Affinity of LDL to Its Receptor: A Model for Prevention of Atherogenesis
The affinity of low density lipoprotein(LDL) to its receptor is very important, because most of LDL-uptake pathway is done by the LDL receptor and the change in size of LDL particle and the modification in its components may affect the LDL affinity for its receptor. In this study, the effects of a powerful lipid-soluble antioxidant “ubiquinol-10” have been investigated on the affinity of LDL to...
متن کاملThe Effects of Lipophilic Antioxidants on the Affinity of LDL to Its Receptor: A Model for Prevention of Atherogenesis
The affinity of low density lipoprotein (LDL) to its receptor is very important, because most of LDL-uptake pathway is done by the LDL receptor and the change in size of LDL particle and the modification in its components may affects the LDL affinity for its receptor. In this study, the effects of lipophilic agents such as vitamin E and seven volatile oils: anethol, eugenol, geraniol, limonene,...
متن کاملStatic Bending Analysis of Foam Filled Orthogonally Rib-Stiffened Sandwich Panels: A Mathematical Model
The current study presents a mathematical modeling for sandwich panels with foam filled orthogonally rib-stiffened core using Heaviside distribution functions. The governing equations of the static problem have been derived based on classical lamination theory. The present model contains three displacement variables considering all of the stiffness coefficients. A closed form solution using Gal...
متن کاملAn Alternative Robust Model for in situ Degradation Studies “Korkmaz-Uckardes”
The first purpose of this study is to present an alternative robust model in order to describe ruminal degradation kinetics of forages and to minimize the fitting problems. For this purpose, the Korkmaz-Uckardes (KU) model, which has a logarithmic structure, was developed. The second purpose of this study is to estimate, by using the Korkmaz-Uckardes (KU)model, the parameters tp (the time to pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006